$\forall$$L$:Top List. firstn(0;$L$) $\sim$ nil